Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
📚Stack Allocation
Flag this post
Never Forget a Thing: Building AI Agents with Hybrid Memory Using Strands Agents
dev.to·9h·
Discuss: DEV
🔄Subinterpreters
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·1d·
Discuss: Substack
🧠Memory Models
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·19h·
Discuss: Hacker News
🧠Memory Models
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·16h
🌱Minimal ML
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️Security Type Systems
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·10h
💬Smalltalk VMs
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·21h·
Discuss: Lobsters, Hacker News
🌐WASM Runtimes
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·11h·
Discuss: Lobsters, Hacker News
📡Erlang BEAM
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1h·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
Getting Hardware for an "Always On" Server/Node
stacker.news·10h
🏰Capability Machines
Flag this post
About writing control systems in C
reddit.com·1h·
Discuss: r/embedded
🔀Control Structures
Flag this post
LPE via refcount imbalance in the af_Unix of Ubuntu's Kernel
ssd-disclosure.com·2d·
Discuss: Hacker News
🏷️Memory Tagging
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🔗Borrowing Extensions
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
⚙️Assembly
Flag this post
Accelerating AI inferencing with external KV Cache on Managed Lustre
cloud.google.com·4h
⚡Cache-Aware Algorithms
Flag this post